* Use in-process Tidy extension if available when $wgUseTidy is on